Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks

Networking and power management of wireless energy - conscious
sensor networks is an important area of current research. We
investigate a network of MicaZ sensor motes using the ZigBee
protocol for communication, and provide a model using Timed
Safety Automata. Our analysis focuses on estimating energy
consumption by model checking in different scenarios using the
Uppaal tool. Special interest is devoted to the energy use in
marginal situations that rarely occur and consequently might not
be seen doing simulation.